Defining Skilled Technical Work

Technical Report: Defining the Undefinedness of C

This paper investigates undefined behavior in C and offers a few simple techniques for operationally specifying such behavior formally. A semantics-based undefinedness checker for C is developed using these techniques, as well as a test suite of undefined programs. The tool is evaluated against other popular analysis tools, using the new test suite in addition to a third-party test suite. The s...

Technical System for Collaborative Work

Virtual reality makes it possible to realize distributed collaborative teamwork. In this case objects can be represented three-dimensionally in different visualization installations which are connected with each other over a network [7]. Up to now the user remains mostly without consideration. For distributed collaborative teamwork the user should be visualized three-dimensionally together with...

Designing Work Support Systems - For and With Skilled Users

Recognizing Complexity: Visualization for Skilled Professionals in Complex Work Situations

In our research, we study IT-systems for highly skilled professionals in complex and dynamic work situations. Such situations can be found in e.g. health care, process and traffic control and in administration. The demands on the operators/users are often very high concerning quality performance, efficiency, timeliness, safety, communication and cooperation. Our experience shows that human oper...

Creating Low Skilled Jobs by Subsidizing Market-Contracted Household Work

Creating Low Skilled Jobs by Subsidizing Market-Contracted Household Work We analyze the determinants of household work contracted in the German shadow economy. The German socio-economic household panel, which enumerates casual domestic employment, is used to estimate the demand for such household work. The regressors include regional wage rates, household income and several control variables f...